Schmuck, Anne-Kathrin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Dynamic hierarchical reactive controller synthesis

Schmuck, Anne-Kathrin, Majumdar, Rupak, Leva, Adrian

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

2

Compositional Synthesis of Finite State Abstractions

Mallik, Kaushik, Schmuck, Anne-Kathrin, Soudjani, Sadegh, Majumdar, Rupak

Journal:

IEEE Transactions on Automatic Control

Year:

2018

Language:

english

File:

PDF, 286 KB

english, 2018

3

Asynchronous l-complete approximations

Schmuck, Anne-Kathrin, Raisch, Jörg

Journal:

Systems & Control Letters

Year:

2014

Language:

english

File:

PDF, 510 KB

english, 2014

4

[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Supervisory controller synthesis for decomposable deterministic context free specification languages

Mallik, Kaushik, Schmuck, Anne-Kathrin

Year:

2016

Language:

english

File:

PDF, 317 KB

english, 2016

5

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Comparing asynchronous l-complete approximations and quotient based abstractions

Schmuck, Anne-Kathrin, Tabuada, Paulo, Raisch, Jorg

Year:

2015

Language:

english

File:

PDF, 331 KB

english, 2015

6

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Compositional construction of finite state abstractions for stochastic control systems

Mallik, Kaushik, Soudjani, Sadegh Esmaeil Zadeh, Schmuck, Anne-Kathrin, Majumdar, Rupak

Year:

2017

Language:

english

File:

PDF, 205 KB

english, 2017

7

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems

Hsu, Kyle, Majumdar, Rupak, Mallik, Kaushik, Schmuck, Anne-Kathrin

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

8

Supervisory control synthesis for deterministic context free specification languages

Schmuck, Anne-Kathrin, Schneider, Sven, Raisch, Jörg, Nestmann, Uwe

Journal:

Discrete Event Dynamic Systems

Year:

2016

Language:

english

File:

PDF, 2.37 MB

english, 2016

9

[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment

Bai, Yunjun, Mallik, Kaushik, Schmuck, Anne-Kathrin, Zufferey, Damien, Majumdar, Rupak

Year:

2019

File:

PDF, 1.64 MB

2019

10

On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours

Schmuck, Anne-Kathrin, Moor, Thomas, Majumdar, Rupak

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 371 KB

english, 2018

11

On the relation between reactive synthesis and supervisory control of non-terminating processes

Schmuck, Anne-Kathrin, Moor, Thomas, Majumdar, Rupak

Journal:

Discrete Event Dynamic Systems

Year:

2019

File:

PDF, 1.00 MB

2019

12

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Constructing (Bi)similar finite state abstractions using asynchronous l-complete approximations

Schmuck, Anne-Kathrin, Raisch, Jorg

Year:

2014

Language:

english

File:

PDF, 424 KB

english, 2014

13

Assume-Guarantee Distributed Synthesis

Majumdar, Rupak, Mallik, Kaushik, Schmuck, Anne-Kathrin, Zufferey, Damien

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2020

File:

PDF, 743 KB

2020

14

[IEEE 2014 22nd Mediterranean Conference of Control and Automation (MED) - Palermo, Italy (2014.6.16-2014.6.19)] 22nd Mediterranean Conference on Control and Automation - Simulation and bisimulation over multiple time scales in a behavioral setting

Schmuck, Anne-Kathrin, Raisch, Jorg

Year:

2014

Language:

english

File:

PDF, 417 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски